<header>KDC</header>

The name of a host running a KDC for that realm, with its optional port
number.<br>
This should be used only if the KDC information is not available through DNS.
<hr>
